home *** CD-ROM | disk | FTP | other *** search
/ Aminet 30 / Aminet 30 (1999)(Schatztruhe)[!][Apr 1999].iso / Aminet / dev / lang / SmallEiffel.lha / SmallEiffel / bin_c / print_jvm_class.h < prev    next >
C/C++ Source or Header  |  1998-12-22  |  20KB  |  807 lines
  1. /*
  2. -- ANSI C code generated by :
  3. -- SmallEiffel The GNU Eiffel Compiler -- Release (- 0.79)      --
  4. -- Copyright (C), 1994-98 - LORIA - UHP - CRIN - INRIA - FRANCE --
  5. -- Dominique COLNET and Suzanne COLLIN -    colnet@loria.fr     --
  6. --                 http://www.loria.fr/SmallEiffel              --
  7. */
  8.  
  9. /*
  10. -- This file is  free  software, which  comes  along  with  SmallEiffel. This
  11. -- software  is  distributed  in the hope that it will be useful, but WITHOUT 
  12. -- ANY  WARRANTY;  without  even  the  implied warranty of MERCHANTABILITY or
  13. -- FITNESS  FOR A PARTICULAR PURPOSE. You can modify it as you want, provided
  14. -- this header is kept unaltered, and a notification of the changes is added.
  15. -- You  are  allowed  to  redistribute  it and sell it, alone or as a part of 
  16. -- another product.
  17. --          Copyright (C) 1994-98 LORIA - UHP - CRIN - INRIA - FRANCE
  18. --            Dominique COLNET and Suzanne COLLIN - colnet@loria.fr 
  19. --                       http://www.loria.fr/SmallEiffel
  20. --
  21. */
  22. /*
  23.   This file (base.h) is automatically included in the header for all modes 
  24.   of compilation : -boost, -no_check, -require_check, ...
  25.   This file is also included in the header of any cecil file.
  26. */
  27. #include <stdio.h>
  28. #include <string.h>
  29. #include <math.h>
  30. #include <stdlib.h>
  31. #include <signal.h>
  32. #include <stddef.h>
  33. #include <stdarg.h>
  34. #include <limits.h>
  35. #include <float.h>
  36. #include <setjmp.h>
  37. #include <sys/types.h>
  38. #include <sys/stat.h>
  39. #include <fcntl.h>
  40. #ifndef O_RDONLY
  41. #include <sys/file.h>
  42. #endif
  43. #ifndef O_RDONLY
  44. #define O_RDONLY 0000
  45. #endif
  46.  
  47. /* 
  48.    On Linux glibc systems, we need to use sig.* versions of jmp_buf,
  49.    setjmp and longjmp to preserve the signal handling context.
  50.    Currently, the way I figured to detect this is if _SIGSET_H_types has
  51.    been defined in /usr/include/setjmp.h.
  52. */
  53. #ifdef _SIGSET_H_types
  54. # define JMP_BUF    sigjmp_buf
  55. # define SETJMP(x)  sigsetjmp( (x), 1)
  56. # define LONGJMP    siglongjmp
  57. #else
  58. # define JMP_BUF    jmp_buf
  59. # define SETJMP(x)  setjmp( (x) )
  60. # define LONGJMP    longjmp
  61. #endif
  62.  
  63. /* 
  64.    Type to store reference objects Id :
  65.  */
  66. typedef int Tid;
  67.  
  68. typedef struct S0 T0;
  69.  
  70. struct S0{
  71.   Tid id;
  72. };
  73.  
  74. /* 
  75.    The default channel used to print runtime error messages :
  76. */
  77. #define SE_ERR stderr
  78.  
  79. /* 
  80.    Eiffel type INTEGER is #2 :
  81. */
  82. typedef int T2;
  83. #define M2 (0)
  84. #define T2BITS (CHAR_BIT*sizeof(int))
  85. #define T2MIN INT_MIN
  86. #define T2MAX INT_MAX
  87.  
  88. /*
  89.   Eiffel type CHARACTER is #3 :
  90. */
  91. typedef char T3;
  92. #define M3 (0)
  93. #define T3BITS CHAR_BIT
  94. #define T3MIN (0)
  95. #define T3MAX (255)
  96.  
  97. /*
  98.   Eiffel type REAL is #4 :
  99. */
  100. typedef float T4;
  101. #define M4 (0.0)
  102. #define T4BITS (CHAR_BIT*sizeof(float))
  103. #define T4MIN (-(FLT_MAX))
  104. #define T4MAX FLT_MAX
  105.  
  106. /*
  107.   Eiffel type DOUBLE is #5 :
  108. */
  109. typedef double T5;
  110. #define M5 (0.0)
  111. #define T5BITS (CHAR_BIT*sizeof(double))
  112. #define T5MIN (-(DBL_MAX))
  113. #define T5MAX DBL_MAX
  114.  
  115. /*
  116.   Eiffel type BOOLEAN is #6 :
  117. */
  118. typedef int T6;
  119. #define M6 (0)
  120. #define T6BITS (CHAR_BIT*sizeof(int))
  121.  
  122. /* 
  123.    Eiffel type POINTER is #8 :
  124. */
  125. typedef void* T8;
  126. #define M8 (NULL)
  127. #define T8BITS (CHAR_BIT*sizeof(void*))
  128.  
  129. /* --- Mangling Table Start ---
  130. A*1  T36   R STD_ERROR 36
  131. A 1  T26   E NATIVE_ARRAY[STRING] 26
  132. A*1  T48   R CP_INFO 48
  133. A*1  T47   R FIXED_ARRAY[CP_INFO] 47
  134. A*1  T41   R FIXED_ARRAY[INTEGER] 41
  135. A 1  T2    E INTEGER 2
  136. A*1  T35   R ECHO 35
  137. A*1  T30   R SYSTEM_TOOLS 30
  138. A*1  T21   R BINARY_FILE_READ 21
  139. A 1  T3    E CHARACTER 3
  140. A*1  T25   R FIXED_ARRAY[STRING] 25
  141. A 1  T9    E NATIVE_ARRAY[CHARACTER] 9
  142. A*1  T7    R STRING 7
  143. A*1  T34   R ARRAY[STRING] 34
  144. A 1  T39   R STD_INPUT_OUTPUT 39
  145. A 2  T38   R STD_OUTPUT 39,38
  146. A 1  T8    E POINTER 8
  147. A*1  T46   R CONSTANT_POOL 46
  148. A 1  T50   E BIT 32 50
  149. A 1  T6    E BOOLEAN 6
  150. A*1  T31   R STD_FILE_READ 31
  151. A*1  T10   R PRINT_JVM_CLASS 10
  152. A*1  T17   R INTEGER_REF 17
  153. A 1  T49   E NATIVE_ARRAY[CP_INFO] 49
  154. A 1  T42   E NATIVE_ARRAY[INTEGER] 42
  155. A 1  T43   E BIT 8 43
  156.  --- Mangling Table End --- */
  157.  
  158. /*C Header Pass 1 :*/
  159. typedef void*T36;
  160. typedef struct S48 T48;
  161. typedef struct S47 T47;
  162. typedef struct S41 T41;
  163. typedef struct S35 T35;
  164. typedef struct S30 T30;
  165. typedef struct S21 T21;
  166. typedef struct S25 T25;
  167. typedef struct S7 T7;
  168. typedef struct S34 T34;
  169. typedef struct S39 T39;
  170. typedef struct S38 T38;
  171. typedef struct S46 T46;
  172. typedef unsigned int T50;
  173. typedef struct S31 T31;
  174. typedef struct S10 T10;
  175. typedef struct S17 T17;
  176. typedef unsigned char T43;
  177.  
  178. /*C Header Pass 2 :*/
  179. typedef T0**T26;
  180. typedef T3*T9;
  181. typedef T0**T49;
  182. typedef T2*T42;
  183.  
  184. /*C Header Pass 3 :*/
  185.  
  186. /*C Header Pass 4 :*/
  187. extern T36 M36;
  188. struct S48{T3 _tag;T0* _info;};
  189. extern T48 M48;
  190. struct S47{T49 _storage;T2 _capacity;T2 _upper;};
  191. extern T47 M47;
  192. struct S41{T42 _storage;T2 _capacity;T2 _upper;};
  193. extern T41 M41;
  194. struct S35{T6 _verbose;};
  195. extern T35 M35;
  196. struct S30{T0* _system_name;T0* _sys_directory;T0* _bin_directory;};
  197. extern T30 M30;
  198. struct S21{T0* _path;T2 _last_byte;T8 _output_stream;};
  199. extern T21 M21;
  200. struct S25{T26 _storage;T2 _capacity;T2 _upper;};
  201. extern T25 M25;
  202. struct S7{T9 _storage;T2 _count;T2 _capacity;};
  203. extern T7 M7;
  204. struct S34{T26 _storage;T2 _capacity;T2 _upper;T2 _lower;};
  205. extern T34 M34;
  206. struct S39{int id;};
  207. extern T39 M39;
  208. struct S38{int id;};
  209. extern T38 M38;
  210. struct S46{T2 _cp_up;};
  211. extern T46 M46;
  212. struct S31{T6 _push_back_flag;T0* _path;T8 _input_stream;T2 _memory;};
  213. extern T31 M31;
  214. struct S10{T2 _constant_pool_count;T0* _access_flag;T2 _this_class_idx;T2 _super_class_idx;T2 _interfaces_count;T2 _fields_count;T2 _methods_count;T2 _attributes_count;};
  215. extern T10 M10;
  216. struct S17{T2 _item;};
  217. extern T17 M17;
  218. T7*se_ms(int c,char*e);
  219. T7*e2s(char*e);
  220. char*s2e(T7*s);
  221. /*
  222. -- This file is  free  software, which  comes  along  with  SmallEiffel. This
  223. -- software  is  distributed  in the hope that it will be useful, but WITHOUT 
  224. -- ANY  WARRANTY;  without  even  the  implied warranty of MERCHANTABILITY or
  225. -- FITNESS  FOR A PARTICULAR PURPOSE. You can modify it as you want, provided
  226. -- this header is kept unaltered, and a notification of the changes is added.
  227. -- You  are  allowed  to  redistribute  it and sell it, alone or as a part of 
  228. -- another product.
  229. --          Copyright (C) 1994-98 LORIA - UHP - CRIN - INRIA - FRANCE
  230. --            Dominique COLNET and Suzanne COLLIN - colnet@loria.fr 
  231. --                       http://www.loria.fr/SmallEiffel
  232. --
  233. */
  234.  
  235. /*
  236.   This file (boost.h) is automatically included when `run_control.boost' is
  237.   true (ie. only for mode -boost).
  238. */
  239. #define SE_BOOST 1
  240. void se_print_run_time_stack (void);
  241. void sigrsp(int sig);
  242. void r2append_in(T2 C,T0* a1);
  243. T3 r2digit(T2 C);
  244. T2 r2_px_94(T2 C,T2 a1);
  245. void r3to_hexadecimal_in(T3 C,T0* a1);
  246. T3 r3to_upper(T3 C);
  247. T0* r3to_hexadecimal(T3 C);
  248. T6 r6_ix_not(T6 C);
  249. T6 r6_px_and(T6 C,T6 a1);
  250. T43 r43_px_646262(T43 C,T2 a1);
  251. void r26set_all_with(T26 C,T0* a1,T2 a2);
  252. T6 r26equal_like(T0* a1,T0* a2);
  253. T2 r26index_of(T26 C,T0* a1,T2 a2);
  254. T6 r9fast_memcmp(T9 C,T9 a1,T2 a2);
  255. T9 r9realloc(T9 C,T2 a1,T2 a2);
  256. void r9copy_at(T9 C,T2 a1,T9 a2,T2 a3);
  257. T2 r9fast_index_of(T9 C,T3 a1,T2 a2);
  258. void r9copy_from(T9 C,T9 a1,T2 a2);
  259. T49 r49realloc(T49 C,T2 a1,T2 a2);
  260. void r49set_all_with(T49 C,T0* a1,T2 a2);
  261. void r49copy_from(T49 C,T49 a1,T2 a2);
  262. T42 r42realloc(T42 C,T2 a1,T2 a2);
  263. void r42copy_from(T42 C,T42 a1,T2 a2);
  264. T6 r7has(T7* C,T3 a1);
  265. T8 r7to_external(T7* C);
  266. void r7to_upper(T7* C);
  267. T0* r7twin(T7* C);
  268. void r7set_last(T7* C,T3 a1);
  269. void r7remove_last(T7* C,T2 a1);
  270. T6 r7is_equal(T7* C,T0* a1);
  271. T6 r7has_suffix(T7* C,T0* a1);
  272. T3 r7last(T7* C);
  273. void r7make(T7* C,T2 a1);
  274. void r7append(T7* C,T0* a1);
  275. void r7extend(T7* C,T3 a1);
  276. void r7swap(T7* C,T2 a1,T2 a2);
  277. void r7copy(T7* C,T0* a1);
  278. T0* r7substring(T7* C,T2 a1,T2 a2);
  279. T2 r7index_of(T7* C,T3 a1);
  280. void r47add_last(T47* C,T0* a1);
  281. void r47make(T47* C,T2 a1);
  282. void r41with_capacity(T41* C,T2 a1);
  283. void r41add_last(T41* C,T2 a1);
  284. void r25make(T25* C,T2 a1);
  285. T0* r34item(T34* C,T2 a1);
  286. T2 r34index_of(T34* C,T0* a1);
  287. void r36put_string(T36* C,T0* a1);
  288. void r48set_fieldref(T48* C,T0* a1);
  289. void r48set_interface_methodref(T48* C,T0* a1);
  290. void r48set_methodref(T48* C,T0* a1);
  291. void r48set_string(T48* C,T0* a1);
  292. void r48set_integer(T48* C,T0* a1);
  293. T6 r48is_class(T48* C);
  294. void r48view_in(T48* C,T0* a1);
  295. void r48set_long(T48* C,T0* a1);
  296. void r48set_double(T48* C,T0* a1);
  297. void r48set_class(T48* C,T0* a1);
  298. extern T0*oBC12constant_pool;
  299. void r48set_name_and_type(T48* C,T0* a1);
  300. void r48clear(T48* C);
  301. void r48set_float(T48* C,T0* a1);
  302. void r48set_utf8(T48* C,T0* a1);
  303. T2 r48u2_to_integer(T48* C,T2 a1);
  304. extern T0*oBC1std_error;
  305. void r35sfr_connect(T35* C,T0* a1,T0* a2);
  306. void r35w_put_string(T0* a1);
  307. extern T0*oBC1std_output;
  308. void r35put_string(T35* C,T0* a1);
  309. void r35w_put_character(T3 a1);
  310. void r30parent_directory(T30* C,T0* a1);
  311. extern T0*oBC12tmp_file_read;
  312. T0* r30get_environment_variable(T30* C,T0* a1);
  313. extern T0*oBC30system_list;
  314. void r30bad_use_exit(T30* C,T0* a1);
  315. void r30add_directory(T30* C,T0* a1,T0* a2);
  316. void r30make(T30* C);
  317. extern T0*oBC12echo;
  318. T6 r30colon_separator(T30* C);
  319. T6 r30slash_separator(T30* C);
  320. T6 r30backslash_separator(T30* C);
  321. void r21read_byte(T21* C);
  322. void r21connect_to(T21* C,T0* a1);
  323. T6 r21end_of_input(T21* C);
  324. void r21disconnect(T21* C);
  325. T8 r21bfr_open(T2 a1,T8 a2);
  326. void r39put_string(T39* C,T0* a1);
  327. extern T0*oBC37tmp_string;
  328. void r39put_integer(T39* C,T2 a1);
  329. void r38flush(T38* C);
  330. void r38put_string(T38* C,T0* a1);
  331. void r38put_character(T38* C,T3 a1);
  332. T0* r46add_last(T46* C);
  333. void r46reset(T46* C,T2 a1);
  334. T0* r46item(T2 a1);
  335. T6 r46is_class(T2 a1);
  336. extern T0*oBC46cp;
  337. T6 r46valid_index(T46* C,T2 a1);
  338. void r31read_line(T31* C);
  339. void r31read_line_in(T31* C,T0* a1);
  340. extern T0*oBC32last_string;
  341. void r31connect_to(T31* C,T0* a1);
  342. void r31disconnect(T31* C);
  343. void r31read_character(T31* C);
  344. void r10print_cp_info_fields_methods(T10* C,T2 a1,T0* a2);
  345. T2 r10print_code_attribute(T10* C,T2 a1,T2 a2);
  346. T0* r10hexa4_at(T2 a1);
  347. void r10print_byte_code(T10* C,T2 a1,T2 a2);
  348. T2 r10load_cp_info(T10* C,T2 a1,T2 a2);
  349. void r10integer_to_hexa_in(T2 a1,T0* a2);
  350. T0* r10hexa8_at(T2 a1);
  351. T2 r10print_one_instruction(T10* C,T2 a1,T2 a2);
  352. void r10inst_view(T10* C,T2 a1,T3 a2);
  353. extern T0*oBC1io;
  354. T2 r10u2_integer_at(T2 a1);
  355. void r10view_pc(T2 a1,T2 a2);
  356. T2 r10print_cp_info(T10* C,T2 a1,T2 a2);
  357. T2 r10u2_to_integer(T0* a1);
  358. extern T0*oBC10inst;
  359. void r10inst_opcode(T0* a1);
  360. void r10u2sign_extended_view(T0* a1,T2 a2);
  361. void r10print_exception_table(T2 a1,T2 a2);
  362. T2 r10u4_integer_at(T2 a1);
  363. T2 r10print_field_info(T10* C,T2 a1);
  364. extern int fBC12system_tools;
  365. extern T0*oBC12system_tools;
  366. T0* r10system_tools(void);
  367. T2 r10print_method_info(T10* C,T2 a1);
  368. extern T0*oBC10bytes;
  369. T0* r10u2_at(T2 a1);
  370. void r10extend_string(T0* a1,T3 a2,T2 a3);
  371. T0* r10argument(T2 a1);
  372. T0* r10u4_at(T2 a1);
  373. T2 r10print_attribute_info(T10* C,T2 a1);
  374. void r10make(T10* C);
  375. void r10bad_class_file(T10* C,T0* a1,T2 a2);
  376. void r10cp_info_tag_name_in(T3 a1,T0* a2);
  377. void r10show_dump_line(T0* a1,T0* a2,T2 a3,T2 a4,T2 a5);
  378. T3 r10character_at(T2 a1);
  379. extern int fBC1command_arguments;
  380. extern T0*oBC1command_arguments;
  381. T0* r10command_arguments(void);
  382. T0* r10u8_at(T2 a1);
  383. extern T0*oBC10tmp_string;
  384. T0* r10hexa1_at(T2 a1);
  385. T0* r10hexa2_at(T2 a1);
  386. extern T10*eiffel_root_object;
  387. extern int se_argc;
  388. extern char**se_argv;
  389. #define SE_MAXID 51
  390. void initialize_eiffel_runtime(int argc,char*argv[]);
  391. extern T7*ms30_12951;
  392. extern T7*ms10_22266aaaaaaa;
  393. extern T7*ms10_100892;
  394. extern T7*ms30_720532;
  395. extern T7*ms10_7020;
  396. extern T7*ms10_3810;
  397. extern T7*ms10_6440;
  398. extern T7*ms10_8950;
  399. extern T7*ms10_7930;
  400. extern T7*ms10_8890;
  401. extern T7*ms10_9960;
  402. extern T7*ms10_1000;
  403. extern T7*ms10_8540;
  404. extern T7*ms10_6730;
  405. extern T7*ms10_8820;
  406. extern T7*ms10_5600;
  407. extern T7*ms10_6750;
  408. extern T7*ms10_6780;
  409. extern T7*ms10_4320;
  410. extern T7*ms10_4350;
  411. extern T7*ms10_8730;
  412. extern T7*ms10_8450;
  413. extern T7*ms10_6930;
  414. extern T7*ms10_7470;
  415. extern T7*ms10_9110;
  416. extern T7*ms10_8860;
  417. extern T7*ms10_9310;
  418. extern T7*ms10_2440;
  419. extern T7*ms10_1720;
  420. extern T7*ms10_2700;
  421. extern T7*ms10_7640;
  422. extern T7*ms10_1840;
  423. extern T7*ms10_2850;
  424. extern T7*ms10_1740;
  425. extern T7*ms10_1760;
  426. extern T7*ms10_1780;
  427. extern T7*ms10_1660;
  428. extern T7*ms10_17632;
  429. extern T7*ms10_14742;
  430. extern T7*ms10_20202;
  431. extern T7*ms10_33672;
  432. extern T7*ms10_19152;
  433. extern T7*ms10_11492;
  434. extern T7*ms10_14482;
  435. extern T7*ms10_41122;
  436. extern T7*ms10_29832;
  437. extern T7*ms10_18722;
  438. extern T7*ms10_21912;
  439. extern T7*ms10_85842;
  440. extern T7*ms10_44312;
  441. extern T7*ms10_10632;
  442. extern T7*ms10_66402;
  443. extern T7*ms11_14742;
  444. extern T7*ms30_2470;
  445. extern T7*ms10_5411;
  446. extern T7*ms10_9141;
  447. extern T7*ms10_5621;
  448. extern T7*ms10_8261;
  449. extern T7*ms10_8841;
  450. extern T7*ms10_8631;
  451. extern T7*ms10_1011;
  452. extern T7*ms10_9331;
  453. extern T7*ms10_7020a;
  454. extern T7*ms10_384aa;
  455. extern T7*ms10_426aa;
  456. extern T7*ms10_33aaa;
  457. extern T7*ms10_306aa;
  458. extern T7*ms10_186aa;
  459. extern T7*ms10_8890a;
  460. extern T7*ms10_6536a;
  461. extern T7*ms10_5453a;
  462. extern T7*ms10_2685a;
  463. extern T7*ms10_134aa;
  464. extern T7*ms30_9331;
  465. extern T7*ms10_342aa;
  466. extern T7*ms10_5621a;
  467. extern T7*ms10_4368a;
  468. extern T7*ms10_1385a;
  469. extern T7*ms10_1784a;
  470. extern T7*ms10_150aa;
  471. extern T7*ms10_428aa;
  472. extern T7*ms10_434aa;
  473. extern T7*ms10_1768a;
  474. extern T7*ms10_39123;
  475. extern T7*ms13_1071;
  476. extern T7*ms10_22266aaaaaaaaa;
  477. extern T7*ms10_4092;
  478. extern T7*ms10_4182;
  479. extern T7*ms10_7542;
  480. extern T7*ms10_5012;
  481. extern T7*ms10_5502;
  482. extern T7*ms10_8932;
  483. extern T7*ms10_8862;
  484. extern T7*ms10_8652;
  485. extern T7*ms10_6762;
  486. extern T7*ms10_7422;
  487. extern T7*ms10_1732;
  488. extern T7*ms10_1752;
  489. extern T7*ms10_1792;
  490. extern T7*ms35_26523;
  491. extern T7*ms12_1632;
  492. extern T7*ms30_8302;
  493. extern T7*ms10_28224;
  494. extern T7*ms10_15624;
  495. extern T7*ms10_17864;
  496. extern T7*ms10_12454;
  497. extern T7*ms10_15204;
  498. extern T7*ms10_10984;
  499. extern T7*ms10_11414;
  500. extern T7*ms10_12684;
  501. extern T7*ms10_34454;
  502. extern T7*ms10_34814;
  503. extern T7*ms10_27784;
  504. extern T7*ms10_41804;
  505. extern T7*ms11_28224;
  506. extern T7*ms30_23364;
  507. extern T7*ms10_7533;
  508. extern T7*ms10_5453;
  509. extern T7*ms10_6813;
  510. extern T7*ms10_8813;
  511. extern T7*ms10_8883;
  512. extern T7*ms10_150;
  513. extern T7*ms10_420;
  514. extern T7*ms10_41775;
  515. extern T7*ms10_31045;
  516. extern T7*ms10_28815;
  517. extern T7*ms10_22685;
  518. extern T7*ms10_29265;
  519. extern T7*ms10_38475;
  520. extern T7*ms10_64575;
  521. extern T7*ms10_34455;
  522. extern T7*ms10_12415;
  523. extern T7*ms10_16455;
  524. extern T7*ms10_13605;
  525. extern T7*ms10_34125;
  526. extern T7*ms10_34375;
  527. extern T7*ms10_65135;
  528. extern T7*ms10_31625;
  529. extern T7*ms11_28815;
  530. extern T7*ms11_22685;
  531. extern T7*ms11_29265;
  532. extern T7*ms10_7124;
  533. extern T7*ms10_4914;
  534. extern T7*ms10_5904;
  535. extern T7*ms10_5544;
  536. extern T7*ms10_1704;
  537. extern T7*ms10_1764;
  538. extern T7*ms10_1784;
  539. extern T7*ms30_32565;
  540. extern T7*ms30_10175;
  541. extern T7*ms10_11a;
  542. extern T7*ms10_35a;
  543. extern T7*ms10_411;
  544. extern T7*ms10_33a;
  545. extern T7*ms10_22266aaaa;
  546. extern T7*ms10_22266aaa;
  547. extern T7*ms10_134aaaaa;
  548. extern T7*ms10_19926aaa;
  549. extern T7*ms10_2685;
  550. extern T7*ms10_8505;
  551. extern T7*ms10_5565;
  552. extern T7*ms10_1385;
  553. extern T7*ms10_4725;
  554. extern T7*ms10_2875;
  555. extern T7*ms10_2745;
  556. extern T7*ms10_7695;
  557. extern T7*ms10_9345;
  558. extern T7*ms10_2725;
  559. extern T7*ms10_20376;
  560. extern T7*ms10_13216;
  561. extern T7*ms10_25326;
  562. extern T7*ms10_40356;
  563. extern T7*ms10_14766;
  564. extern T7*ms10_15616;
  565. extern T7*ms10_10596;
  566. extern T7*ms10_22266;
  567. extern T7*ms10_12046;
  568. extern T7*ms10_67716;
  569. extern T7*ms10_57056;
  570. extern T7*ms10_17216;
  571. extern T7*ms10_13496;
  572. extern T7*ms10_19926;
  573. extern T7*ms10_30456;
  574. extern T7*ms10_98196;
  575. extern T7*ms10_12766;
  576. extern T7*ms10_14196;
  577. extern T7*ms10_17056;
  578. extern T7*ms10_28996;
  579. extern T7*ms10_342;
  580. extern T7*ms11_40356;
  581. extern T7*ms30_44196;
  582. extern T7*ms30_132226;
  583. extern T7*ms10_1176;
  584. extern T7*ms10_6536;
  585. extern T7*ms10_1556;
  586. extern T7*ms10_8806;
  587. extern T7*ms10_8666;
  588. extern T7*ms10_6756;
  589. extern T7*ms10_6816;
  590. extern T7*ms10_6606;
  591. extern T7*ms10_6636;
  592. extern T7*ms10_4386;
  593. extern T7*ms10_7626;
  594. extern T7*ms10_9366;
  595. extern T7*ms10_1696;
  596. extern T7*ms10_1716;
  597. extern T7*ms10_1756;
  598. extern T7*ms10_1776;
  599. extern T7*ms10_1796;
  600. extern T7*ms10_1636;
  601. extern T7*ms30_303;
  602. extern T7*ms30_1356;
  603. extern T7*ms30_1336;
  604. extern T7*ms10_31227;
  605. extern T7*ms10_664;
  606. extern T7*ms10_774;
  607. extern T7*ms10_134;
  608. extern T7*ms10_384;
  609. extern T7*ms10_924;
  610. extern T7*ms10_424;
  611. extern T7*ms10_444;
  612. extern T7*ms10_414;
  613. extern T7*ms10_454;
  614. extern T7*ms10_434;
  615. extern T7*ms10_104;
  616. extern T7*ms10_22266aaaaa;
  617. extern T7*ms30_654;
  618. extern T7*ms10_5047;
  619. extern T7*ms10_5517;
  620. extern T7*ms10_8827;
  621. extern T7*ms10_8687;
  622. extern T7*ms10_4837;
  623. extern T7*ms10_5467;
  624. extern T7*ms10_9387;
  625. extern T7*ms10_18278;
  626. extern T7*ms10_14208;
  627. extern T7*ms10_13288;
  628. extern T7*ms10_10068;
  629. extern T7*ms10_16968;
  630. extern T7*ms10_16688;
  631. extern T7*ms10_37098;
  632. extern T7*ms10_34138;
  633. extern T7*ms10_13968;
  634. extern T7*ms10_13728;
  635. extern T7*ms10_39258;
  636. extern T7*ms10_13288aa;
  637. extern T7*ms10_342aaaa;
  638. extern T7*ms10_22266aa;
  639. extern T7*ms10_134aaaa;
  640. extern T7*ms10_19926aa;
  641. extern T7*ms10_1385aaa;
  642. extern T7*ms13_18788;
  643. extern T7*ms13_13428;
  644. extern T7*ms10_4128;
  645. extern T7*ms10_3968;
  646. extern T7*ms10_7848;
  647. extern T7*ms10_8708;
  648. extern T7*ms10_6858;
  649. extern T7*ms10_6768;
  650. extern T7*ms10_6798;
  651. extern T7*ms10_6588;
  652. extern T7*ms10_6618;
  653. extern T7*ms10_4338;
  654. extern T7*ms10_4368;
  655. extern T7*ms10_9198;
  656. extern T7*ms10_1488;
  657. extern T7*ms10_1008;
  658. extern T7*ms10_1688;
  659. extern T7*ms10_1728;
  660. extern T7*ms10_1808;
  661. extern T7*ms10_1768;
  662. extern T7*ms10_1628;
  663. extern T7*ms10_1648;
  664. extern T7*ms10_316;
  665. extern T7*ms10_306;
  666. extern T7*ms10_186;
  667. extern T7*ms10_386;
  668. extern T7*ms10_426;
  669. extern T7*ms30_966;
  670. extern T7*ms30_756;
  671. extern T7*ms13_166;
  672. extern T7*ms10_22266aaaaaaaa;
  673. extern T7*ms30_226958;
  674. extern T7*ms10_22629;
  675. extern T7*ms10_95159;
  676. extern T7*ms10_14499;
  677. extern T7*ms10_11679;
  678. extern T7*ms10_11;
  679. extern T7*ms10_8519;
  680. extern T7*ms10_5579;
  681. extern T7*ms13_957;
  682. extern T7*ms10_42;
  683. extern T7*ms10_288;
  684. extern T7*ms10_108;
  685. extern T7*ms10_978;
  686. extern T7*ms10_428;
  687. extern T7*ms30_708;
  688. extern T7*ms10_33;
  689. extern T7*ms13_288;
  690. extern T7*ms10_109;
  691. extern T7*ms10_426a;
  692. extern T7*ms10_411a;
  693. extern T7*ms10_33aa;
  694. extern T7*ms10_306a;
  695. extern T7*ms10_186a;
  696. extern T7*ms10_134a;
  697. extern T7*ms10_108a;
  698. extern T7*ms10_342a;
  699. extern T7*ms10_384a;
  700. extern T7*ms10_150a;
  701. extern T7*ms10_424a;
  702. extern T7*ms10_444a;
  703. extern T7*ms10_414a;
  704. extern T7*ms10_454a;
  705. extern T7*ms10_428a;
  706. extern T7*ms10_434a;
  707. extern T7*ms10_35;
  708. extern T7*ms10_22266aaaaaa;
  709. extern T7*ms10_384aaa;
  710. extern T7*ms10_17864a;
  711. extern T7*ms10_342aaa;
  712. extern T7*ms10_13288a;
  713. extern T7*ms10_16688a;
  714. extern T7*ms10_186aaa;
  715. extern T7*ms10_15204a;
  716. extern T7*ms10_10984a;
  717. extern T7*ms10_14499a;
  718. extern T7*ms10_22266a;
  719. extern T7*ms10_11414a;
  720. extern T7*ms10_19926a;
  721. extern T7*ms10_134aaa;
  722. extern T7*ms10_32120a;
  723. extern T7*ms10_44370a;
  724. extern T7*ms10_37098a;
  725. extern T7*ms10_34814a;
  726. extern T7*ms10_32600a;
  727. extern T7*ms10_41122a;
  728. extern T7*ms10_34138a;
  729. extern T7*ms10_31950a;
  730. extern T7*ms10_27784a;
  731. extern T7*ms10_67716a;
  732. extern T7*ms10_1768aa;
  733. extern T7*ms10_14196a;
  734. extern T7*ms10_1385aa;
  735. extern T7*ms10_44312a;
  736. extern T7*ms10_41804a;
  737. extern T7*ms10_39123a;
  738. extern T7*ms10_39258a;
  739. extern T7*ms10_36660a;
  740. extern T7*ms10_34375a;
  741. extern T7*ms10_22266aaaaaaaaaaaa;
  742. extern T7*ms10_22266aaaaaaaaaaa;
  743. extern T7*ms10_22266aaaaaaaaaaaaa;
  744. extern T7*ms10_126950;
  745. extern T7*ms10_22266aaaaaaaaaa;
  746. extern T7*ms12_583550;
  747. extern T7*ms10_10750;
  748. extern T7*ms10_15180;
  749. extern T7*ms10_15000;
  750. extern T7*ms10_24120;
  751. extern T7*ms10_48520;
  752. extern T7*ms10_28420;
  753. extern T7*ms10_35680;
  754. extern T7*ms10_85320;
  755. extern T7*ms10_36380;
  756. extern T7*ms10_19500;
  757. extern T7*ms10_18700;
  758. extern T7*ms10_34410;
  759. extern T7*ms10_25620;
  760. extern T7*ms10_36240;
  761. extern T7*ms10_19890;
  762. extern T7*ms10_17600;
  763. extern T7*ms10_22440;
  764. extern T7*ms10_12220;
  765. extern T7*ms10_16800;
  766. extern T7*ms10_18420;
  767. extern T7*ms10_24270;
  768. extern T7*ms10_32120;
  769. extern T7*ms10_34270;
  770. extern T7*ms10_20880;
  771. extern T7*ms10_44370;
  772. extern T7*ms10_32600;
  773. extern T7*ms10_31950;
  774. extern T7*ms10_10010;
  775. extern T7*ms10_11280;
  776. extern T7*ms10_72040;
  777. extern T7*ms10_60760;
  778. extern T7*ms10_34150;
  779. extern T7*ms10_36660;
  780. extern T7*ms10_87960;
  781. extern T7*ms11_48520;
  782. extern T7*ms11_28420;
  783. extern T7*ms11_35680;
  784. extern T7*ms11_85320;
  785. extern T7*ms11_36380;
  786. extern T7*ms30_39440;
  787. extern T7*ms30_26690;
  788. extern T7*ms30_38940;
  789. extern T7*ms30_20300;
  790. extern T7*ms30_46940;
  791. extern T7*ms30_852461;
  792. extern T7*ms10_12311;
  793. extern T7*ms10_48691;
  794. void se_msi1(void);
  795. void se_msi2(void);
  796. void se_msi3(void);
  797. void se_msi4(void);
  798. void se_msi5(void);
  799. void se_msi6(void);
  800. void se_msi7(void);
  801. void se_msi8(void);
  802. void se_msi9(void);
  803. void*se_ma34(int argc,...);
  804. void X38flush(void *C);
  805. void X38put_string(void *C,T0* a1);
  806.  
  807.